منابع مشابه
Applying Jlint to Space Exploration Software
Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The ...
متن کاملEngineering Ultimate Self - Protection in Autonomic Agents for Space Exploration
NASA’s Exploration Initiative (EI) will push space exploration missions to the limit. Future missions will be required to be self-managing as well as self-directed, in order to meet the challenges of human and robotic space exploration. We discuss security and self protection in autonomic agent based-systems, and propose the ultimute self-protection mechanism for such systems-self-&struction. L...
متن کاملIntelligent Software Engineering Tools for NASA's Crew Exploration Vehicle
Orion is NASA's new crew exploration vehicle. The Orion Project will be using a state-of-the art model-based software development process. This model-based software development process is new for the human space program, and implies both new opportunities and risks for NASA. Opportunities include gaining early insight into designs in the form of executable models, and formulation of requirement...
متن کاملMolpher: a software framework for systematic chemical space exploration
BACKGROUND Chemical space is virtual space occupied by all chemically meaningful organic compounds. It is an important concept in contemporary chemoinformatics research, and its systematic exploration is vital to the discovery of either novel drugs or new tools for chemical biology. RESULTS In this paper, we describe Molpher, an open-source framework for the systematic exploration of chemical...
متن کاملSimulation-driven Software Performance Estimation for Fast Design Space Exploration
In this paper, we propose a novel performance estimation method of software function blocks considering the effect of architecture variation, compiler optimization, and data dependent behavior. In the proposed design space exploration framework, a system behavior is specified as a composition of function blocks and the execution order of the blocks is known a priori. We run the entire applicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 2011
ISSN: 0018-9162
DOI: 10.1109/mc.2011.264